Optimal. Leaf size=382 \[ -\frac {x^2}{2}-\frac {i \log \left (2^{2/3} x^2+\sqrt [3]{2 \left (1-i \sqrt {3}\right )} x+\left (1-i \sqrt {3}\right )^{2/3}\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1-i \sqrt {3}}}+\frac {i \log \left (2^{2/3} x^2+\sqrt [3]{2 \left (1+i \sqrt {3}\right )} x+\left (1+i \sqrt {3}\right )^{2/3}\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1+i \sqrt {3}}}+\frac {i \log \left (-\sqrt [3]{2} x+\sqrt [3]{1-i \sqrt {3}}\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \log \left (-\sqrt [3]{2} x+\sqrt [3]{1+i \sqrt {3}}\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}+\frac {i \tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}}{\sqrt {3}}\right )}{3 \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}}{\sqrt {3}}\right )}{3 \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}} \]
________________________________________________________________________________________
Rubi [A] time = 0.33, antiderivative size = 382, normalized size of antiderivative = 1.00, number of steps used = 15, number of rules used = 9, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.391, Rules used = {1502, 12, 1375, 292, 31, 634, 617, 204, 628} \begin {gather*} -\frac {x^2}{2}-\frac {i \log \left (2^{2/3} x^2+\sqrt [3]{2 \left (1-i \sqrt {3}\right )} x+\left (1-i \sqrt {3}\right )^{2/3}\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1-i \sqrt {3}}}+\frac {i \log \left (2^{2/3} x^2+\sqrt [3]{2 \left (1+i \sqrt {3}\right )} x+\left (1+i \sqrt {3}\right )^{2/3}\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1+i \sqrt {3}}}+\frac {i \log \left (-\sqrt [3]{2} x+\sqrt [3]{1-i \sqrt {3}}\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \log \left (-\sqrt [3]{2} x+\sqrt [3]{1+i \sqrt {3}}\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}+\frac {i \tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}}{\sqrt {3}}\right )}{3 \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}}{\sqrt {3}}\right )}{3 \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 31
Rule 204
Rule 292
Rule 617
Rule 628
Rule 634
Rule 1375
Rule 1502
Rubi steps
\begin {align*} \int \frac {x^4 \left (1-x^3\right )}{1-x^3+x^6} \, dx &=-\frac {x^2}{2}-\frac {1}{2} \int -\frac {2 x}{1-x^3+x^6} \, dx\\ &=-\frac {x^2}{2}+\int \frac {x}{1-x^3+x^6} \, dx\\ &=-\frac {x^2}{2}-\frac {i \int \frac {x}{-\frac {1}{2}-\frac {i \sqrt {3}}{2}+x^3} \, dx}{\sqrt {3}}+\frac {i \int \frac {x}{-\frac {1}{2}+\frac {i \sqrt {3}}{2}+x^3} \, dx}{\sqrt {3}}\\ &=-\frac {x^2}{2}+\frac {i \int \frac {1}{-\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}+x} \, dx}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \int \frac {-\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}+x}{\left (\frac {1}{2} \left (1-i \sqrt {3}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )} x+x^2} \, dx}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \int \frac {1}{-\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}+x} \, dx}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}+\frac {i \int \frac {-\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}+x}{\left (\frac {1}{2} \left (1+i \sqrt {3}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )} x+x^2} \, dx}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}\\ &=-\frac {x^2}{2}+\frac {i \log \left (\sqrt [3]{1-i \sqrt {3}}-\sqrt [3]{2} x\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \log \left (\sqrt [3]{1+i \sqrt {3}}-\sqrt [3]{2} x\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}+\frac {i \int \frac {1}{\left (\frac {1}{2} \left (1-i \sqrt {3}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )} x+x^2} \, dx}{2 \sqrt {3}}-\frac {i \int \frac {1}{\left (\frac {1}{2} \left (1+i \sqrt {3}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )} x+x^2} \, dx}{2 \sqrt {3}}-\frac {i \int \frac {\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}+2 x}{\left (\frac {1}{2} \left (1-i \sqrt {3}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )} x+x^2} \, dx}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1-i \sqrt {3}}}+\frac {i \int \frac {\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}+2 x}{\left (\frac {1}{2} \left (1+i \sqrt {3}\right )\right )^{2/3}+\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )} x+x^2} \, dx}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1+i \sqrt {3}}}\\ &=-\frac {x^2}{2}+\frac {i \log \left (\sqrt [3]{1-i \sqrt {3}}-\sqrt [3]{2} x\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \log \left (\sqrt [3]{1+i \sqrt {3}}-\sqrt [3]{2} x\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}-\frac {i \log \left (\left (1-i \sqrt {3}\right )^{2/3}+\sqrt [3]{2 \left (1-i \sqrt {3}\right )} x+2^{2/3} x^2\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1-i \sqrt {3}}}+\frac {i \log \left (\left (1+i \sqrt {3}\right )^{2/3}+\sqrt [3]{2 \left (1+i \sqrt {3}\right )} x+2^{2/3} x^2\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1+i \sqrt {3}}}-\frac {i \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}\right )}{\sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}+\frac {i \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}\right )}{\sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}\\ &=-\frac {x^2}{2}+\frac {i \tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}}{\sqrt {3}}\right )}{3 \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \tan ^{-1}\left (\frac {1+\frac {2 x}{\sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}}{\sqrt {3}}\right )}{3 \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}+\frac {i \log \left (\sqrt [3]{1-i \sqrt {3}}-\sqrt [3]{2} x\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1-i \sqrt {3}\right )}}-\frac {i \log \left (\sqrt [3]{1+i \sqrt {3}}-\sqrt [3]{2} x\right )}{3 \sqrt {3} \sqrt [3]{\frac {1}{2} \left (1+i \sqrt {3}\right )}}-\frac {i \log \left (\left (1-i \sqrt {3}\right )^{2/3}+\sqrt [3]{2 \left (1-i \sqrt {3}\right )} x+2^{2/3} x^2\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1-i \sqrt {3}}}+\frac {i \log \left (\left (1+i \sqrt {3}\right )^{2/3}+\sqrt [3]{2 \left (1+i \sqrt {3}\right )} x+2^{2/3} x^2\right )}{3\ 2^{2/3} \sqrt {3} \sqrt [3]{1+i \sqrt {3}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.01, size = 48, normalized size = 0.13 \begin {gather*} \frac {1}{3} \text {RootSum}\left [\text {$\#$1}^6-\text {$\#$1}^3+1\&,\frac {\log (x-\text {$\#$1})}{2 \text {$\#$1}^4-\text {$\#$1}}\&\right ]-\frac {x^2}{2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^4 \left (1-x^3\right )}{1-x^3+x^6} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.47, size = 1588, normalized size = 4.16
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.69, size = 817, normalized size = 2.14
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.00, size = 44, normalized size = 0.12 \begin {gather*} -\frac {x^{2}}{2}+\frac {\RootOf \left (\textit {\_Z}^{6}-\textit {\_Z}^{3}+1\right ) \ln \left (-\RootOf \left (\textit {\_Z}^{6}-\textit {\_Z}^{3}+1\right )+x \right )}{6 \RootOf \left (\textit {\_Z}^{6}-\textit {\_Z}^{3}+1\right )^{5}-3 \RootOf \left (\textit {\_Z}^{6}-\textit {\_Z}^{3}+1\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} -\frac {1}{2} \, x^{2} + \int \frac {x}{x^{6} - x^{3} + 1}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.28, size = 309, normalized size = 0.81 \begin {gather*} \frac {\ln \left (x+\left (81\,x-\frac {27\,{\left (36-\sqrt {3}\,12{}\mathrm {i}\right )}^{2/3}}{4}\right )\,\left (-\frac {1}{162}+\frac {\sqrt {3}\,1{}\mathrm {i}}{486}\right )\right )\,{\left (36-\sqrt {3}\,12{}\mathrm {i}\right )}^{1/3}}{18}+\frac {\ln \left (x-\left (81\,x-\frac {27\,{\left (36+\sqrt {3}\,12{}\mathrm {i}\right )}^{2/3}}{4}\right )\,\left (\frac {1}{162}+\frac {\sqrt {3}\,1{}\mathrm {i}}{486}\right )\right )\,{\left (36+\sqrt {3}\,12{}\mathrm {i}\right )}^{1/3}}{18}-\frac {x^2}{2}-\frac {2^{2/3}\,\ln \left (x+\frac {2^{1/3}\,3^{2/3}\,{\left (3-\sqrt {3}\,1{}\mathrm {i}\right )}^{2/3}}{12}+\frac {2^{1/3}\,3^{1/6}\,{\left (3-\sqrt {3}\,1{}\mathrm {i}\right )}^{2/3}\,1{}\mathrm {i}}{4}\right )\,{\left (3-\sqrt {3}\,1{}\mathrm {i}\right )}^{1/3}\,\left (3^{1/3}+3^{5/6}\,1{}\mathrm {i}\right )}{36}-\frac {2^{2/3}\,\ln \left (x+\frac {2^{1/3}\,3^{2/3}\,{\left (3+\sqrt {3}\,1{}\mathrm {i}\right )}^{2/3}}{12}-\frac {2^{1/3}\,3^{1/6}\,{\left (3+\sqrt {3}\,1{}\mathrm {i}\right )}^{2/3}\,1{}\mathrm {i}}{4}\right )\,{\left (3+\sqrt {3}\,1{}\mathrm {i}\right )}^{1/3}\,\left (3^{1/3}-3^{5/6}\,1{}\mathrm {i}\right )}{36}-\frac {2^{2/3}\,\ln \left (x-\frac {2^{1/3}\,3^{2/3}\,{\left (3-\sqrt {3}\,1{}\mathrm {i}\right )}^{2/3}}{6}\right )\,{\left (3-\sqrt {3}\,1{}\mathrm {i}\right )}^{1/3}\,\left (3^{1/3}-3^{5/6}\,1{}\mathrm {i}\right )}{36}-\frac {2^{2/3}\,\ln \left (x-\frac {2^{1/3}\,3^{2/3}\,{\left (3+\sqrt {3}\,1{}\mathrm {i}\right )}^{2/3}}{6}\right )\,{\left (3+\sqrt {3}\,1{}\mathrm {i}\right )}^{1/3}\,\left (3^{1/3}+3^{5/6}\,1{}\mathrm {i}\right )}{36} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.19, size = 32, normalized size = 0.08 \begin {gather*} - \frac {x^{2}}{2} - \operatorname {RootSum} {\left (19683 t^{6} + 243 t^{3} + 1, \left (t \mapsto t \log {\left (- 6561 t^{5} - 27 t^{2} + x \right )} \right )\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________